temporal operator造句
例句與造句
- Temporal rover includes all of the temporal operators as well as others designed for discussing events that occurred in the past
Temporal rover包括所有時(shí)態(tài)操作符以及為討論過(guò)去發(fā)生的事件而設(shè)計(jì)的其它操作符。 - They have proved to be useful for specifying concurrent systems , since they can describe the ordering of events in time without introducing time explicitly . in ctl * formulas are composed of path quantifiers and temporal operators
和基于模擬、測(cè)試和演繹推理問(wèn)題的傳統(tǒng)方法相比較,有著許多的優(yōu)點(diǎn),也已經(jīng)成功地實(shí)踐于檢驗(yàn)復(fù)雜的時(shí)序電路設(shè)計(jì)和通訊協(xié)議。 - Studying time ' s basic attributes in detail , a time model is made at first in this context . in addition , the temporal interval and time point are analyzed and their temporal relations are described with the temporal operators
文中首先通過(guò)研究時(shí)間的基本屬性，確定表達(dá)時(shí)間的模型；進(jìn)而分析時(shí)態(tài)區(qū)間和時(shí)間點(diǎn)并描述兩者間時(shí)態(tài)關(guān)系，并引入時(shí)態(tài)算子描述這些關(guān)系。 - There are two quantifiers a ( for all computation paths ) and e ( for some computation path ) in path quantifiers ; and in temporal operators , there are five basic operators x ( next time ) , f ( eventually ) , g ( always ) , u ( until ) and r ( release ) . ctl * has two types of formulas : state formulas ( which are true in a specific state ) and path formulas ( which are true along a specific path ) ; and two useful sublogics : branching - time logic ctl and linear - time logic ltl . the distinction between the two is how they
本文首先介紹了模型檢測(cè)的一些基本概念和理論,然后介紹了與其密切相關(guān)的、在檢驗(yàn)中用于描述系統(tǒng)屬性的時(shí)序邏輯,及實(shí)現(xiàn)模型檢測(cè)問(wèn)題的方法,在基于上述關(guān)于概念、理論的基礎(chǔ)上,研究了診斷系統(tǒng)可診斷性的檢驗(yàn)方法,說(shuō)明了一個(gè)給定設(shè)備的診斷條件被破壞時(shí)當(dāng)且僅當(dāng)有臨界對(duì)的出現(xiàn),并定義了設(shè)備的耦合孿生模型,說(shuō)明如何用它來(lái)尋找臨界對(duì),最后使用模型檢測(cè)框架來(lái)構(gòu)造這個(gè)問(wèn)題,把耦合孿生模型化簡(jiǎn)為模型檢測(cè)問(wèn)題。 - It's difficult to find temporal operator in a sentence. 用temporal operator造句挺難的